integration sec^3x